No need to Check for grabbed menus on hot corner enter/click

We never get enter events anyway due to the menu code, and if
the user clicks on a non-menu the menu is removed and ungrabbed
before the target actor gets the event anyway.

https://bugzilla.gnome.org/show_bug.cgi?id=642881

diff --git a/js/ui/panel.js b/js/ui/panel.js
index 4cedb442b05a7b10216a43056c00391b92580ebd..c331f4dff9a1f537be3cb89ab252a625e15e6b24 100644 (file)
--- a/js/ui/panel.js
+++ b/js/ui/panel.js
@@ -1040,8 +1040,6 @@ Panel.prototype = {
     },
 
     _onHotCornerEntered : function() {
-        if (this._menus.grabbed)
-            return false;
         if (!this._hotCornerEntered) {
             this._hotCornerEntered = true;
             if (!Main.overview.animationInProgress) {
@@ -1055,8 +1053,6 @@ Panel.prototype = {
     },
 
     _onHotCornerClicked : function() {
-        if (this._menus.grabbed)
-            return false;
          if (!Main.overview.animationInProgress) {
              this._maybeToggleOverviewOnClick();
          }